Arnaud Fietzke: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC) - Montreal, QC, Canada (2019.5.25-2019.5.26)] 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC) - Learning a Classifier for Prediction of Maintainability Based on Static Analysis Tools

Schnappinger, Markus, Osman, Mohd Hafeez, Pretschner, Alexander, Fietzke, Arnaud

Year:

2019

Language:

english

File:

PDF, 2.64 MB

english, 2019

2

[ACM Press the 12th ACM/IEEE International Symposium - Oulu, Finland (2018.10.11-2018.10.12)] Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM '18 - Software quality assessment in practice

Schnappinger, Markus, Osman, Mohd Hafeez, Pretschner, Alexander, Pizka, Markus, Fietzke, Arnaud

Year:

2018

Language:

english

File:

PDF, 490 KB

english, 2018

3

Labelled splitting

Arnaud Fietzke, Christoph Weidenbach

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 569 KB

english, 2009

4

Superposition as a Decision Procedure for Timed Automata

Fietzke, Arnaud, Weidenbach, Christoph

Journal:

Mathematics in Computer Science

Year:

2012

Language:

english

File:

PDF, 474 KB

english, 2012

5

[IEEE IGARSS 2019 - 2019 IEEE International Geoscience and Remote Sensing Symposium - Yokohama, Japan (2019.7.28-2019.8.2)] IGARSS 2019 - 2019 IEEE International Geoscience and Remote Sensing Symposium - Remote Sensing For Assessing Drought Insurance Claims in Central Europe

Heidler, Konrad, Fietzke, Arnaud

Year:

2019

Language:

english

File:

PDF, 987 KB

english, 2019